Sats (logik)

En sats eller en utsaga är inom logik och filosofi ett påstående som kan vara sant eller falskt i en viss tolkning. Satsen kan formuleras språkligt, eller uttryckas formellt matematiskt inom satslogik och predikatlogik.

Man skiljer vanligtvis mellan satsens språkliga form (det språkliga uttrycket, meningen, en. sentence, ty. Satz) och satsens tankeinnehåll (försanthållandet, en. proposition, ty. Urteil). En central fråga för filosofin är vad det egentligen innebär att en sats är "sann", och hur detta förhåller sig till de olika betydelserna av begreppet.^[1]